void proposition();